#! /bin/sh
# prerm script for dvi2tty
#
# see: dh_installdeb(1)

set -e

#DEBHELPER#

exit 0


